LO / SO Amalgamation : A Technique for Constructing Programming Languages under Object - Oriented Operating Systems
نویسندگان
چکیده
This paper proposes a technique for constructing programming languages under object-oriented operating systems. Such operating systems consist of independent modules, so one can build exible systems and applications. However, traditional object-oriented operating systems provide users with system's object model (system object), so that programming language designers have to map their object model (language object) onto the system object model. In our proposed technique, called LO/SO amalgamation, language objects and system objects can be treated in a uniform fashion. So, it is now possible to specify system objects by using the rich programming environment supported by programming languages. Furthermore, message passing between two types of objects can be implemented e ciently by using our technique. In this paper, we present the concept of LO/SO amalgamation, and an evaluation of our prototype language, Apertos ConcurrentSmalltalk (ACST), which incorporates LO/SO amalgamation.
منابع مشابه
Modelsaz: An Object-Oriented Computer-Aided Modeling Environment
Modeling and simulation of processing plants are widely used in industry. Construction of a mathematical model for a plant is a time-consuming and error-prone task. In light of extensive advancements in computer science (both hardware and software), computers are becoming a necessary instrument in industrial activities. Many software tools for modeling, simulation and optimization of proces...
متن کاملModeling and Evaluation of Stochastic Discrete-Event Systems with RayLang Formalism
In recent years, formal methods have been used as an important tool for performance evaluation and verification of a wide range of systems. In the view points of engineers and practitioners, however, there are still some major difficulties in using formal methods. In this paper, we introduce a new formal modeling language to fill the gaps between object-oriented programming languages (OOPLs) us...
متن کاملModeling and Evaluation of Stochastic Discrete-Event Systems with RayLang Formalism
In recent years, formal methods have been used as an important tool for performance evaluation and verification of a wide range of systems. In the view points of engineers and practitioners, however, there are still some major difficulties in using formal methods. In this paper, we introduce a new formal modeling language to fill the gaps between object-oriented programming languages (OOPLs) us...
متن کاملNon-Blocking Synchronization and Object-Oriented Operating System Design
Mutual exclusion is typically employed for multiprocess synchronization. However, Massalin and Pu [MP91], and Greenwald and Cheriton [GC96] have implemented complete operating systems using non-blocking synchronization instead of mutual exclusion. Although most operating systems are implemented using procedural languages, both of these systems have significant object-oriented characteristics. W...
متن کاملAn Interface between Object-oriented Systems
The descriptionòbject-oriented' may apply to both programming languages and operating systems. However, creating an interface between an object-oriented programming language and an object-oriented operating system is not necessarily a straightforward task. Chrysalis++ is a C++ interface to the Chrysalis operating system for the BBN Butterry Parallel Processor. The development of Chrysalis++ hig...
متن کامل